Embracing Causality in Specifying the Indeterminate Effects of Actions
نویسنده
چکیده
This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational mechanism, can be used to reason about them. Logical Preliminaries We shall investigate the problem in the framework of the situation calculus [8]. Our version of it employs a many sorted second-order language. We assume the following sorts: situation for situations, action for actions, fluent for propositional fluents, truth-value for truth values true and false, and object for everything else. We use the following domain independent predicates and functions:
منابع مشابه
Embracing Causality in Specifying the Indeterminate Eeects of Actions
This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used eeectively to specify the eeects of indeterminate actions; and showing that for certain classes of such actions, regression, an eeec-tive computational mechanism, can be used to reason about them.
متن کاملAn assessment of actions with indeterminate and indirect effects in some causal approaches
In this work we investigate the behavior of the main existing fluentindexed approaches to reasoning about actions in dealing with domains that have actions with both indeterminate and indirect effects. As they all fail in solving this kind of scenarios, we argue for an actionindexed causal notion in order to deal with the frame and ramification problems. This is achieved by defining a weak form...
متن کاملIt depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
In this paper we argue for a weak form of causality in terms of a dependence relation involving actions, atoms and formulae in order to deal with the frame and ramification problems. This relation allows the atoms to change their value without forcing or causing it. Once integrated in the framework of the Logic of Actions and Plans LAP, it gives us a simple and powerful formalism to reasoning a...
متن کاملEmbracing Occlusion in Specifying the Indirect Effects of Actions
In this paper we extend PMON a logic for reasoning about action and change with causal rules which are used to specify the indirect e ects of actions The extension called PMON RCs has the advantage of us ing explicit time includes actions with dura tions nondeterministic actions allows par tial speci cation of the timing and order of actions and has been assessed correct for at least the K IA c...
متن کاملEmbracing Occlusion in Specifying the Indirect E ects of Actions
In this paper, we extend PMON, a logic for reasoning about action and change, with causal rules which are used to specify the indirect eeects of actions. The extension, called PMON(RCs), has the advantage of using explicit time, includes actions with durations , nondeterministic actions, allows partial speciication of the timing and order of actions and has been assessed correct for at least th...
متن کامل